Curso De Lógica Proposicional 2.0 - Disjunção Inclusiva